-
1 описание формальное
описание формальноеапiсанне фармальнаеРусско-белорусский словарь математических, физических и технических терминов > описание формальное
-
2 описание
описаниеапісанне, -ння- описание адекватное
- описание более полное
- описание полное
- описание процесса
- описание унифицированное
- описание формальноеРусско-белорусский словарь математических, физических и технических терминов > описание
-
3 формальное описание
формальное описание
формальная спецификация
Спецификации, выраженные с помощью формально определенного языка спецификаций.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > формальное описание
-
4 формальное описание
1. formal descriptionне поддающийся описанию, неописуемый — beyond description
2. formal specificationописание патента; содержание патента — patent specification
Русско-английский большой базовый словарь > формальное описание
-
5 формальное описание
Большой англо-русский и русско-английский словарь > формальное описание
-
6 формальное описание
1) Information technology: formal description, formal specification2) Programming: formal definitionУниверсальный русско-английский словарь > формальное описание
-
7 формальное описание типа
Programming: formal type declarationУниверсальный русско-английский словарь > формальное описание типа
-
8 формальное описание
-
9 формальное описание
Русско-английский словарь по вычислительной технике и программированию > формальное описание
-
10 формальное описание
formal description, formal specificationРусско-английский политехнический словарь > формальное описание
-
11 давать более формальное описание
Russian-English Dictionary "Microeconomics" > давать более формальное описание
-
12 formal specification
формальное описание
формальная спецификация
Спецификации, выраженные с помощью формально определенного языка спецификаций.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > formal specification
-
13 formal description
формальное описание; формализаванное описаниеsystem description — описание системы; системное описание
beyond description — не поддающийся описанию, неописуемый
-
14 internal specification
patent specification — описание патента; содержание патента
specification error — ошибка в описании; ошибка в технических требованиях
formal specification — формальное описание; формализованное описание; формальная спецификация
English-Russian dictionary of Information technology > internal specification
-
15 formal specification
формальное описание; формализованное описание; формальная спецификацияdata specification — спецификация данных; определение данных
patent specification — описание патента; содержание патента
-
16 formal description
формальное описание; формализованное описание -
17 formal description
формальное [формализованное] описаниеБольшой англо-русский и русско-английский словарь > formal description
-
18 formal specification
формальное [формализованное] описание, формальная спецификация( написанная в соответствии с какими-л. стандартами)Большой англо-русский и русско-английский словарь > formal specification
-
19 formal description
Англо-русский словарь технических терминов > formal description
-
20 formal description
формальное [формализованное] описаниеEnglish-Russian dictionary of computer science and programming > formal description
См. также в других словарях:
формальное описание — формальная спецификация Спецификации, выраженные с помощью формально определенного языка спецификаций. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом… … Справочник технического переводчика
проспект эмиссии — Формальное письменное предложение о продаже ценных бумаг, в котором предстаааен план предлагаемого коммерческого предприятия или представлены факты, касающиеся уже существующего предприятия, которые должен знать инвестор для принятия осознанного… … Финансово-инвестиционный толковый словарь
Диасистема — Формальное описание диалектов какого л. языка, при котором высокоуровневая (обычно фонологическая) система включает две или более диалектные системы. В качестве отправной точки используется языковая система, лежащая в основе описываемых… … Словарь социолингвистических терминов
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… … Физическая энциклопедия
Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии … Википедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… … Википедия
SAFER — Создатель: Джеймс Мэсси Создан: 1993 г. Опубликован … Википедия
Расширенная Бэкус — Наурова форма — Расширенная форма Бэкуса Наура (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие.… … Википедия
Расширенная форма Бэкуса-Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… … Википедия